logical calculus

逻辑运算